!(<{1,2}, 2>X(a and b) and <{1,2}, 2>Xc)